退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用概率模型检验正式分析DNs带宽放大攻击及其对策
Tushar Deshp; Panagiotis Katsaros; Stylianos Basagiannis; Scott A. Smolka;
机译:概率模型检查正式分析劣化影响问题
机译:通过统计模型检查对概率SystemC模型进行形式验证
机译:使用模型检查对Ariadne安全路由协议进行形式化安全分析
机译:DNS带宽放大攻击的形式分析和概率模型检查对策
机译:使用概率模型检查对DNS攻击进行形式化分析及其对策。
机译:利用概率模型检验设计和分析DNA链置换设备
机译:基于概率模型检验的DNs带宽放大攻击随机游戏分析
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。